extensionSystem: Make it a non-fatal error to re-load an extension

https://bugzilla.gnome.org/show_bug.cgi?id=673613

diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js
index fb811c2fbf8e7f14f343d5e1ad14be33263b4d6c..f9ba89d6ff817a4f5ced26d50157a559b752e0f5 100644 (file)
--- a/js/ui/extensionSystem.js
+++ b/js/ui/extensionSystem.js
@@ -249,7 +249,8 @@ function loadExtension(dir, type, enabled) {
     let extension;
 
     if (ExtensionUtils.extensions[uuid] != undefined) {
-        throw new Error('extension already loaded');
+        global.logError('Extension "%s" is already loaded'.format(uuid));
+        return;
     }
 
     try {